sig val compute : Cil_types.stmt list -> unit end