{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"file.set_mangling(object::write::Mangling::None);"}]}
        file.set_mangling(object::write::Mangling::None);
        let original_mangling = file.mangling();