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