(TRANSLATE, PATFETCH): Cast elt of `translate'.