fn goto72_at2_ctx67_x<'s>(lex: &mut Lexer<'s, Token>)