int main() { r__t__n = (void *)(void *)5; r__t__expr = (void *)expr_app(expr_lambda(expr_app(expr_app(expr_var((void *)0),expr_var((void *)0)),expr_const((void *)5))),expr_lambda(expr_lambda(expr_if(expr_zero(expr_var((void *)0)),expr_const((void *)1),expr_mult(expr_var((void *)0),expr_app(expr_app(expr_var((void *)1),expr_var((void *)1)),expr_subr1(expr_var((void *)0)))))))); r__t__env = (void *)envrr_empty(); r__t__pc = ⅇ mount_tram(); printf("Fact Test Yields: %d\n", (int)r__t__a);r__t__n = (void *)(void *)5; r__t__expr = (void *)expr_letcc(expr_mult(expr_const((void *)5),expr_throw(expr_var((void *)0),expr_mult(expr_const((void *)2),expr_const((void *)6))))); r__t__env = (void *)envrr_empty(); r__t__pc = ⅇ mount_tram(); printf("Let/CC Test Yields: %d\n", (int)r__t__a);}
int main() { expr__t__ = (void *)exprr_let(exprr_lambda(exprr_lambda(exprr_if(exprr_zero(exprr_var((void *)0)),exprr_const((void *)1),exprr_mult(exprr_var((void *)0),exprr_app(exprr_app(exprr_var((void *)1),exprr_var((void *)1)),exprr_subr1(exprr_var((void *)0))))))),exprr_mult(exprr_letcc(exprr_app(exprr_app(exprr_var((void *)1),exprr_var((void *)1)),exprr_throw(exprr_var((void *)0),exprr_app(exprr_app(exprr_var((void *)1),exprr_var((void *)1)),exprr_const((void *)4))))),exprr_const((void *)5))); envr__m__cpsr__t__ = (void *)envrr_emptyr__m__env(); pcr__t__ = &valuer__m__ofr__m__cps; mount_tram(); printf("Fact 5: %d\n", (int)vr__t__);}