pub const EC_RIGHTMARGIN: u32 = 2u32;