{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
                        // padding. This kind of packing can't be achieved by sorting.
                        // u16 to build a 4-byte group so that the u32 can be placed after it without
                        optimizing.sort_by_key(|&x| {