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  }
      12  
      13  extern void *_begin __attribute__ ((visibility("hidden")));
      14  
      15  intptr_t
      16  size_p (void)
      17  {
      18    return (intptr_t) &_begin;
      19  }