int main(void) {
    char *ptr = "foo\";
    return 0;
}