let ch = getchar()
in for ((); ch != '\0'; ch = getchar()) do
    putchar(ch)
end