Void safety

Anders update