Constant WSMAN_OPTION_MACHINE_ID 

pub const WSMAN_OPTION_MACHINE_ID: WSManSessionOption = 23i32;