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