check

defs.tex

@@ -269,6 +269,7 @@
 \newcommand{\JMPIF}[2]{\key{(JmpIf}~#1~#2\key{)}}
 \newcommand{\RETQ}{\key{(Retq)}}
 \newcommand{\XPROGRAM}[2]{\LP\code{X86Program}~#1~#2\RP}
+\newcommand{\BYTEREG}[1]{\key{(ByteReg}~#1\key{)}}
 \fi
 \if\edition\pythonEd
 \newcommand{\IMM}[1]{\key{Constant}\LP #1\RP}
@@ -283,11 +284,12 @@
 \newcommand{\JMPIF}[2]{\key{JumpIf}\LP #1 \key{,} #2 \RP}
 \newcommand{\RETQ}{\key{Retq}\LP\RP}
 % TODO: change \XPROGRAM to 1 parameter
-\newcommand{\XPROGRAM}[2]{\code{X86Program}\LP #1 \RP}
+\newcommand{\XPROGRAM}[2]{\code{X86Program}\LP #2 \RP}
+\newcommand{\BYTEREG}[1]{\key{ByteReg}\LP #1 \RP}
 \fi
 
 
-\newcommand{\BYTEREG}[1]{\key{(ByteReg}~#1\key{)}}
+
 \newcommand{\DEF}[5]{\LP\key{Def}~#1~#2~#3~#4~#5\RP}
 \newcommand{\CDEF}[4]{\LP\key{define}~\LP#1~#2\RP\,\key{:}\,#3~#4\RP}
 \newcommand{\CGDEF}[4]{\LP\key{define}~\LP#1~#2\RP\,#3~#4\RP}