{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"assert!(lhs_sz"}]}
        assert!(lhs_sz <= 256);
        // the extra bits introduced by zext are *not* all masked away any more.
        bx.zext(rhs, lhs_llty)