let internal_pretty_code = pp_sl_fct_slice