input:

output:

int main() { char *s = "int main() { char *s = %c%s%c; printf(s, 34, s, 34); }"; printf(s, 34, s, 34); }

result:

ok single line: 'int main() { char *s = "int ma...4); }"; printf(s, 34, s, 34); }'