user assisted data structure debugging and verication .
Lex—a lexical analyzer generator