let
pretty_current_cfunction_name fmt =
Kernel_function
.pretty_name fmt (current_kf())