Fix.prim decs are equivalent