let export_section fmt title =
begin
Format.fprintf fmt "(*----------------------------------------*)@\n" ;
Format.fprintf fmt "(*--- %-32s ---*)@\n" title ;
Format.fprintf fmt "(*----------------------------------------*)@\n" ;
end