That's right. I encoded type and length into 32 bits.