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