//vamomine.v vd, (rs1), vs2, vd VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e32);