let init k kf =
    state.kind <- k;
    Callstack.init kf state.callstack;
    update ()