;; This file can't be empty.