pda lexer debugged with test