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