Use decimal notation for the opcode arrays