| maINHA : MA_check MODE_INHA
| maINHX : MA_check MODE_INHX
| maINHH : MA_check MODE_INHH
+| maINHX0ADD : MA_check MODE_INHX0ADD
+| maINHX1ADD : byte8 → MA_check MODE_INHX1ADD
+| maINHX2ADD : word16 → MA_check MODE_INHX2ADD
| maIMM1 : byte8 → MA_check MODE_IMM1
+| maIMM1EXT : byte8 → MA_check MODE_IMM1EXT
| maIMM2 : word16 → MA_check MODE_IMM2
| maDIR1 : byte8 → MA_check MODE_DIR1
| maDIR2 : word16 → MA_check MODE_DIR2
| maINHA ⇒ nil ?
| maINHX ⇒ nil ?
| maINHH ⇒ nil ?
+ (* inherent address: legale se nessun operando/1 byte/1 word *)
+ | maINHX0ADD ⇒ nil ?
+ | maINHX1ADD b ⇒ [ TByte m b ]
+ | maINHX2ADD w ⇒ [ TByte m (w16h w); TByte m (w16l w) ]
(* _0/1/2: legale se nessun operando/1 byte/1 word *)
| maIMM1 b ⇒ [ TByte m b ]
+ | maIMM1EXT b ⇒ [ TByte m b ]
| maIMM2 w ⇒ [ TByte m (w16h w); TByte m (w16l w) ]
| maDIR1 b ⇒ [ TByte m b ]
| maDIR2 w ⇒ [ TByte m (w16h w); TByte m (w16l w) ]