pub const DN_HAS_MARK: u32 = 512; // 512u32