let is_empty s =     try ignore (S.get s 0); false with _ -> true