extern "C" void *malloc (int);
extern "C" void _M2_except5_init (void);
extern "C" int printf (const char *, ...);
extern "C" void Storage_ALLOCATE (void **p, unsigned int s);

void Storage_ALLOCATE (void **p, unsigned int s)
{
   (*p) = malloc (s);
}

main()
{
   _M2_except5_init ();
}