Constant WKSTA_LOGON_SERVER_PARMNUM 

pub const WKSTA_LOGON_SERVER_PARMNUM: u32 = 9u32;