sig type t = [ `premature_end_of_input ] end