Constant WSMAN_OPTION_ENABLE_SPN_SERVER_PORT 

pub const WSMAN_OPTION_ENABLE_SPN_SERVER_PORT: WSManSessionOption;