sig
val
slice_limit : unit
->
int
end