;; CONTRACT jumpif
FUNCTION skip(integer, integer) : integer
 PUSH arg1
 PUSH 0
 EQ a a arg0
 JUMPIF a 2
 INC
 JUMP 2
 RETURN