encodeArray_fixed32