Constant WKS_FLAG_CREDS_AUTHENTICATED 

pub const WKS_FLAG_CREDS_AUTHENTICATED: u32 = 4u32;