One set of identifiers for Nimrod Lexer