Safety is one of the most frequently used and at the same time least precisely defined terms in today’s programming language debate. Hardly any concept is more often instrumentalized and less often examined in its full scope. In public discourse, safety is commonly reduced to memory safety, occasionally supplemented by the promise that entire classes of errors can be eliminated through language…