`<file>` is not used.