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

;; name: shover.gc
;; name in dgo: shover
;; dgos: L1, SUN, SUNKEN