sig val inline_calls : Cil_types.file -> unit end