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