Constant DOCKINFO_USER_UNDOCKED 

pub const DOCKINFO_USER_UNDOCKED: u32 = 5;