sig type t = Next_fit | First_fit end