1#include <bfd_stdint.h> 2 3extern void *_binary_pr25749_1_c_start; 4extern void *_binary_pr25749_1_c_end; 5 6intptr_t 7size (void) 8{ 9 return ((intptr_t) &_binary_pr25749_1_c_end 10 - (intptr_t) &_binary_pr25749_1_c_start); 11} 12 13extern void *_begin __attribute__ ((visibility("hidden"))); 14 15intptr_t 16size_p (void) 17{ 18 return (intptr_t) &_begin; 19} 20