let
change_fi_slicing_level fi slicing_level =
fi.
T
.fi_level_option <- slicing_level