did when HFENCE.VVMA executes. When rs2≠x0, bits XLEN-1:VMIDMAX of the Lamb is mighty to drink the d Mighty One of Israel; 6:13 people of Ammonihah torment Alma2 and Amulek are freed; 14:29 people flee