- [#LDAi; mk_byte x0 x0; (* A := 0 *)
- #STAd; mk_byte x2 x0; (* Z := A *)
- #LDAd; mk_byte x1 xF; (* (l1) A := Y *)
- #BEQ; mk_byte x0 xA; (* if A == 0 then goto l2 *)
- #LDAd; mk_byte x2 x0; (* A := Z *)
- #DECd; mk_byte x1 xF; (* Y := Y - 1 *)
- #ADDd; mk_byte x1 xE; (* A += X *)
- #STAd; mk_byte x2 x0; (* Z := A *)
- #BRA; mk_byte xF x2; (* goto l1 *)
- #LDAd; mk_byte x2 x0].(* (l2) *)
+ [#LDAi; 〈x0, x0〉; (* A := 0 *)
+ #STAd; 〈x2, x0〉; (* Z := A *)
+ #LDAd; 〈x1, xF〉; (* (l1) A := Y *)
+ #BEQ; 〈x0, xA〉; (* if A == 0 then goto l2 *)
+ #LDAd; 〈x2, x0〉; (* A := Z *)
+ #DECd; 〈x1, xF〉; (* Y := Y - 1 *)
+ #ADDd; 〈x1, xE〉; (* A += X *)
+ #STAd; 〈x2, x0〉; (* Z := A *)
+ #BRA; 〈xF, x2〉; (* goto l1 *)
+ #LDAd; 〈x2, x0〉].(* (l2) *)