let
mark_as_called kf =
Is_Called
.replace kf
true