tok.t => tok.type; tok.k => tok.kind