1WHITESPACE   =  _{ " " | "\t" | NEWLINE }
2int          =  @{ (ASCII_NONZERO_DIGIT ~ ASCII_DIGIT+ | ASCII_DIGIT) }