(* *)
(* ********************************************************************** *)
-include "emulator/opcodes/IP2022_opcode.ma".
+include "emulator/opcodes/IP2022_pseudo.ma".
include "emulator/opcodes/IP2022_instr_mode.ma".
include "emulator/opcodes/byte_or_word.ma".
include "common/list.ma".