sig
  val build_cil_file : ?last:bool -> string -> Spare_marks.proj -> Project.t
end