hvx-double-implies-hvx.s 146 Bytes