_ufc_dofinalperm  718 lib/replace/crypt.c     return _ufc_dofinalperm(l1, l2, r1, r2);
_ufc_dofinalperm  761 lib/replace/crypt.c     return _ufc_dofinalperm(l1, l2, r1, r2);