extern "C" char main[] = {0xc9};