{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"table.extend(raw_file_table.values().map(|name|"}]}
        table.extend(raw_file_table.values().map(|name| name.as_str()));
        // Add the regular entries after the base directory.