The standard library can read a file