compatibility with new prod_eq.v