Constant WS_TRACE_API_GET_READER_PROPERTY 

pub const WS_TRACE_API_GET_READER_PROPERTY: WS_TRACE_API;