let
pop_function () =
Callstack
.pop state.callstack;
update ()