UVa272 TEX Quotes

#include <stdio.h>

int main()
{
    int c, q = 1;
    while ((c = getchar()) != EOF) {
        if (c == '"') { printf(q ? "``" : "''"); q ^= 1; }
        else putchar(c);
    }
    return 0;
}