| maDIR1 b ⇒ [ TByte RS08 b ]
(* movimento: legale se 2 operandi byte *)
| maDIR1_to_DIR1 b1 b2 ⇒ [ TByte RS08 b1 ; TByte RS08 b2 ]
| maDIR1 b ⇒ [ TByte RS08 b ]
(* movimento: legale se 2 operandi byte *)
| maDIR1_to_DIR1 b1 b2 ⇒ [ TByte RS08 b1 ; TByte RS08 b2 ]