{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"format:"}]}
            format: Format::Dwarf32,
        let encoding = Encoding {
            // FIXME this should be configurable