read_file now works
check_file fails at END.