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