pub const ERROR_WSMAN_SESSION_ALREADY_CLOSED: u32 = 2150858904u32;