M0: IF x0 = 0 THEN GOTO M11 ; M1: x0 := x0 - 1 ; M10: GOTO M0 ; M11: IF x1 = 0 THEN GOTO M1011 ; M100: x10 := x1 + 0 ; M101: x1 := x1 - 1 ; M110: IF x10 = 0 THEN GOTO M1010 ; M111: x10 := x10 - 1 ; M1000: x0 := x0 + 1 ; M1001: GOTO M110 ; M1010: GOTO M11 ; M1011: HALT