Slight specialization of linking.safety