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