Constant HTTPREQUEST_SETCREDENTIALS_FOR_SERVER 

pub const HTTPREQUEST_SETCREDENTIALS_FOR_SERVER: u32 = 0u32;