pub const TOP_JUSTIFIED: u32 = 0u32;