Add BodyLen, rename EncryptedLen to BoxLen