Opcodes now printed in octal, semantics now show 'k' for imm. values