{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // So first we reverse sort by size. Then we generate the names with
        //
        // zero-padded suffixes, which means they are automatically sorted by