int @TARGET_NAME@(void)
{
return 0;
}
int main(int argc, char* argv[])
#ifndef NAME
#error NAME not defined
#endif
return NAME();