;-*-Lisp-*-
(in-package goal)

;; name: kermit.gc
;; name in dgo: kermit
;; dgos: L1, SWA