pub type EncodedAllocTextLen = u32;