The EQUIVALENCE wasn't really needed here. If f2cl ever implements equivalences, put back the original version.