A top-level file.