;; Contract empty_loop FUNCTION run (integer) : integer STORE var0 arg0 PUSH 0 JUMP 1 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 EGT a 0 0 DEC var0 GT var1 var0 0 JUMPIF var1 1 RETURNR 0