This is a file no larger than 10k.