This file should be non-empty.