#892: reverting to ExternalFunction