{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"};"}]}
                    };
                        _is_fat,
                    if addr_space == default_address_space {