#include <stdint.h>
extern void *_binary_pr25749_1_c_size;
intptr_t
size (void)
{
return (intptr_t) &_binary_pr25749_1_c_size;
}