pub const WSMAN_FLAG_DELETE_SERVER_SESSION: WSManShellFlag = 2i32;