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