Constant WS_TRACE_API_WRITE_ENVELOPE_END 

pub const WS_TRACE_API_WRITE_ENVELOPE_END: WS_TRACE_API;