Constant WS_TRACE_API_SET_READER_POSITION 

pub const WS_TRACE_API_SET_READER_POSITION: WS_TRACE_API;