(
	(pos 0)
	(halt)
	start
	(irmovq 9 %rdx)
	(irmovq 1 %rsi)
	(andq %rdx %rdx)
	(jmp test)
	loop
	(addq %rdx %rax)
	(subq %rsi %rdx)
	test
	(jne loop)
	(ret)
	(halt)
	)

;; Our assembler's output for this program:

;; ((46 . 0)
;;  (45 . 144)
;;  (44 . 0)
;;  (43 . 0)
;;  (42 . 0)
;;  (41 . 0)
;;  (40 . 0)
;;  (39 . 0)
;;  (38 . 0)
;;  (37 . 32)
;;  (36 . 116)
;;  (35 . 98)
;;  (34 . 97)
;;  (33 . 32)
;;  (32 . 96)
;;  (31 . 0)
;;  (30 . 0)
;;  (29 . 0)
;;  (28 . 0)
;;  (27 . 0)
;;  (26 . 0)
;;  (25 . 0)
;;  (24 . 36)
;;  (23 . 112)
;;  (22 . 34)
;;  (21 . 98)
;;  (20 . 0)
;;  (19 . 0)
;;  (18 . 0)
;;  (17 . 0)
;;  (16 . 0)
;;  (15 . 0)
;;  (14 . 0)
;;  (13 . 1)
;;  (12 . 246)
;;  (11 . 48)
;;  (10 . 0)
;;  (9 . 0)
;;  (8 . 0)
;;  (7 . 0)
;;  (6 . 0)
;;  (5 . 0)
;;  (4 . 0)
;;  (3 . 9)
;;  (2 . 242)
;;  (1 . 48)
;;  (0 . 0))