sig val check_sequences : Cil_types.file -> unit end