main() : int
{
    c("return 42;");
}