sig
val
check_sequences :
Cil_types
.file
->
unit
end