int envelopeSize (WireFormat wireFormat)
int envelopeSize(WireFormat wireFormat) { switch (wireFormat) { case WireFormat.v1: return 16; case WireFormat.v2: return 8; default: throw FidlError('unknown wire format'); } }