pub const PS_DASHDOTDOT: u32 = 4; // 4u32