{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                // NOTE: the following cast is necessary to avoid a GIMPLE verification failure in
                let index = not_high + not_low_and_not_high;
                // gcc.