method
global_section =
Format
.fprintf out
"%s@\n--- Global Properties@\n%s@\n@."
bar bar