{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"None,"}]}
            None,
        let empty_module = arenas.new_module(
            ModuleKind::Def(DefKind::Mod, root_def_id, None),