Constant SECPKG_STATE_WORKSTATION 

pub const SECPKG_STATE_WORKSTATION: u32 = 8u32;