sig val compute : int -> Cil_types.file -> unit end