const MAX_ENVELOPE: u16 = 0xFFC;