-execution step is basically a big switch statement going over all possible
-bytecode instructions. Of some instructions, the implementations are shown in
-the listing. The \CI{BCPush} instruction is a little more complicated in the
-real code because some decoding will take place as not all \CI{BCValue}s are of
-the same length and are encoded.
+execution step is basically a switch statement going over all possible bytecode
+instructions. The implementation of some instructions is shown in the
+listing. The \CI{BCPush} instruction is a little more complicated in the real
+code because some decoding will take place as not all \CI{BCValue}s are of the
+same length and are encoded.