{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
                    // unsigned but then the output is treated as signed, so neither works.
                    // It can be neither `nsw` nor `nuw` because the input is treated as
                    let d = bx.sub(a, b);