Bug Fix: call and return need to push and pop in opposite orders, but
fact.s still doesn't run correctly.