// Read the next token, dealing with nested IFs
function next() {
    const n = read()
    if (n == "IF") {
        while (next() != "FI")
            ;
    }
    return n
}