codegen: unbox_int the final sexpr; junk value returned

Something weird is going on, because ExecutionEngine.run_function is
returning a junk value.