;; Contract empty_loop FUNCTION run (integer) : integer STORE var0 arg0 PUSH (0) JUMP 1 STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" STR_JOIN a "hello " "world!" DEC var0 GT var1 var0 0 JUMPIF var1 1 RETURNR 0