struct {
  uint8 envelope_nonce[Nn];
  uint8 auth_tag[Nm];
} Envelope;