//vamoande.v vd, (rs1), vs2, vd
VI_AMO({ return lhs & vs3; }, uint, e64);