Constant WS_ERROR_PROPERTY_ORIGINAL_ERROR_CODE 

pub const WS_ERROR_PROPERTY_ORIGINAL_ERROR_CODE: WS_ERROR_PROPERTY_ID;