pub const HAVE_ERF: u32 = 1;