sig val slice_limit : unit -> int end