[Pharo-project] Are the bytecodes correct?