1  #include <stdint.h>
       2  
       3  extern void *_binary_pr25749_1_c_start;
       4  extern void *_binary_pr25749_1_c_end;
       5  
       6  intptr_t
       7  size (void)
       8  {
       9    return ((intptr_t) &_binary_pr25749_1_c_end
      10  	  - (intptr_t) &_binary_pr25749_1_c_start);
      11  }