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