Constant WSMAN_OPTION_MACHINE_ID 

pub const WSMAN_OPTION_MACHINE_ID: WSManSessionOption;