let
ff_slicing_level ff = fi_slicing_level (ff_fi ff)