pub fn eq_ext(l: &Extern, r: &Extern) -> bool