readfile('foo.txt');