\indexentry{ADD\_CONV@{\ptt ADD\_CONV}}{5}
\indexentry{AND\_CONV@{\ptt AND\_CONV}}{5}
\indexentry{BEQ\_CONV@{\ptt BEQ\_CONV}}{6}
\indexentry{COND\_CONV@{\ptt COND\_CONV}}{7}
\indexentry{DIV\_CONV@{\ptt DIV\_CONV}}{8}
\indexentry{EXP\_CONV@{\ptt EXP\_CONV}}{9}
\indexentry{GE\_CONV@{\ptt GE\_CONV}}{10}
\indexentry{GT\_CONV@{\ptt GT\_CONV}}{11}
\indexentry{IMP\_CONV@{\ptt IMP\_CONV}}{12}
\indexentry{LE\_CONV@{\ptt LE\_CONV}}{13}
\indexentry{LT\_CONV@{\ptt LT\_CONV}}{14}
\indexentry{MOD\_CONV@{\ptt MOD\_CONV}}{15}
\indexentry{MUL\_CONV@{\ptt MUL\_CONV}}{16}
\indexentry{NEQ\_CONV@{\ptt NEQ\_CONV}}{17}
\indexentry{NOT\_CONV@{\ptt NOT\_CONV}}{18}
\indexentry{OR\_CONV@{\ptt OR\_CONV}}{18}
\indexentry{PRE\_CONV@{\ptt PRE\_CONV}}{19}
\indexentry{REDUCE\_CONV@{\ptt REDUCE\_CONV}}{20}
\indexentry{REDUCE\_RULE@{\ptt REDUCE\_RULE}}{21}
\indexentry{REDUCE\_TAC@{\ptt REDUCE\_TAC}}{22}
\indexentry{RED\_CONV@{\ptt RED\_CONV}}{22}
\indexentry{SBC\_CONV@{\ptt SBC\_CONV}}{23}
\indexentry{SUC\_CONV@{\ptt SUC\_CONV}}{24}
