Constant EXT_DEG

Source
pub const EXT_DEG: usize = 4;