Files
eiffel-org/documentation/25.12/solutions/basic-computing/eiffelbase