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