f_fact 0 1 l_false-branch2 3 l_true-branch1 15 l_after-if3 17 SACC 1 MKINTSEXP 1 BRLTE l_true-branch1 SACC 1 FCALL MKINTSEXP 1 SACC 1 MINUS SAVEVAL NENV2ENV PCCONT 1 GOTO f_fact MULT SAVEVAL FRETURN 1 MKINTSEXP 1 FRETURN 1