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

;; name: vortex-data.gc
;; name in dgo: vortex-data
;; dgos: INTROCST

;; DECOMP BEGINS