module Translate_lightweight: sig .. end
sig
end
File.prepare_cil_file
val lightweight_transform : File.code_transformation_category
File.code_transformation_category