|:: read a character :@stdio: read|
    :end of file:
|:: read a character :@stdio: $x|
    :buffer: $x
|:: read a character?|
    :@stdio: read

|:: reverse? :buffer: $x|
    :text: $x
|:: reverse|

|:: read :end of file|
    :: reverse
|:: read?|
    :: read a character

|:: parse? :text: ">1<[>[0]<"| :: print :string: "    if(pop(&c.stacks[c.stack])) {\n"
|:: parse? :text: ">0<0]>[<" | :: print :string: "    } else {\n"
|:: parse? :text: ">0]<"     | :: print :string: "    }\n"

|:: parse? :text: '0'| :: print :string: "    ZERO\n"
|:: parse? :text: '1'| :: print :string: "    ONE\n"
|:: parse? :text: '['| :: print :string: "    BEGIN\n"
|:: parse? :text: ']'| :: print :string: "    END\n"
|:: parse? :text: '<'| :: print :string: "    LEFT\n"
|:: parse? :text: '>'| :: print :string: "    RIGHT\n"
|:: parse? :text: '@'| :: print :string: "    HALT\n"
|:: parse? :text: '?'| :: print :string: "    DEBUG\n"
|:: parse? :text: $x |

||:: read :: parse