Files
eiffel-org/documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety