let mark_as_called kf = Is_Called.add kf true