let
get_slices proj kf =
M
.fi_slices (
M
.get_kf_fi proj kf)