\prettywordpair{IDENTIFIER}{{$\langle$\rm identifier$\rangle$}}
\prettywordpair{INTEGER}{{\bf int}}
\prettywordpair{BOGUS}{{\tt Oh, @\%\$\&*!}}
