These are the contents of
file f.