let
current_kf () = (
List
.hd !call_stack).called_kf