;;; Automatically generated file - do not edit!