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