let exml_options_default () : t_exml_options = { quiet = false; numbering = "a1i"; allow_custom_numbering = false; tags = None; }