{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // the extra bits introduced by zext are *not* all masked away any more.
        // FIXME: if we ever support 512bit integers, this will be wrong! For such large integers,
        assert!(lhs_sz <= 256);