{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
                    let d = bx.unchecked_usub(a, b);
                    // so can use `sub nuw` and `udiv exact` instead of dealing in signed.
                    bx.exactudiv(d, pointee_size)