Delete procedure `read-file`.