\def\eqdef{\stackrel{\mathrm{def}}{=}}

\def\instrop{\mathit{instr}}
\def\instr#1#2{\instrop(#1)(#2)}

\def\incpcop{\mathit{incpc}}
\def\incpc#1#2{\incpcop_#1(#2)}

\def\update#1#2{#1[#2]}

\def\ALUOp{\mathit{ALUOp}}
\def\Word#1{\mathit{Word}_#1}

\def\Prog{\mathit{Prog}}
\def\prog{\mathit{prog}}

\def\State{\mathit{State}}
\def\st{\mathit{st}}

\def\Mem{\mathit{Mem}}
\def\mem{\mathit{mem}}

\def\pc{\mathit{pc}}
\def\acc#1{\mathit{acc}_#1}

\DeclareMathOperator{\rol}{rol}
\DeclareMathOperator{\shl}{shl}