Constant WSMAN_PLUGIN_STARTUP_AUTORESTARTED_REBOOT 

pub const WSMAN_PLUGIN_STARTUP_AUTORESTARTED_REBOOT: u32 = 1u32;