#include "@[email protected]" int @TARGET_NAME@(void) { return 0; } int main(int argc, char* argv[]) { return @TARGET_NAME@(); }