let mark_as_called kf =
    Is_Called.replace kf true