module Undefined_sequence: sig .. end
sig
end
val check_sequences : Cil_types.file -> unit
Cil_types.file -> unit