module Translate_lightweight: sig .. end
sig
end
val interprate : Cil_types.file -> unit
Cil_types.file -> unit