require_rv32;
P_PACK_DW(8, 1, 1);