p73: bottom line: 2^(n-1) := 2^n-1
p74: 4th line: -2^(n-2) := -2^(n-1)
5th line: 2^(n-2) -1 := 2^(n-1)-1
p75: swap 5 and 6 in Figure 6.2
p77: SEM Expr [\/ code : Code] := SEM Expr [|| code : Code]
p77: bottom line: Op := If
p169: B60: stores it in a location relative to the MP := stores it in a register