#include <stdint.h>

extern void *_binary_pr25749_1_c_size;

intptr_t
size (void)
{
  return (intptr_t) &_binary_pr25749_1_c_size;
}