pub const DOCKINFO_UNDOCKED: u32 = 1u32;