;;-*-Lisp-*-
(in-package goal)
;; name: whirlpool.gc
;; name in dgo: whirlpool
;; dgos: L1, SUN, SUNKEN