parser::lexer: done (without substitution)