ADD_ADJUST_RESTORE 3247 compile.c      	    ADD_ADJUST_RESTORE(ret, splabel);
ADD_ADJUST_RESTORE 3308 compile.c      	    ADD_ADJUST_RESTORE(ret, splabel);
ADD_ADJUST_RESTORE 3318 compile.c      	    ADD_ADJUST_RESTORE(ret, splabel);
ADD_ADJUST_RESTORE 3373 compile.c      	    ADD_ADJUST_RESTORE(ret, splabel);
ADD_ADJUST_RESTORE 3387 compile.c      	    ADD_ADJUST_RESTORE(ret, splabel);
ADD_ADJUST_RESTORE 4172 compile.c      		    ADD_ADJUST_RESTORE(ret, splabel);