let
fi_slicing_level fi = fi.
T
.fi_level_option