{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"///"}]}
            /// Not-greater-than (unordered, signaling)
            const _CMP_NGE_US: i32 = 0x09;
            const _CMP_NGT_US: i32 = 0x0a;