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