let
cfg_kf cfg = cfg.kernel_function