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

;; name: ctymark-obs.gc
;; name in dgo: ctymark-obs
;; dgos: WWD

;; DECOMP BEGINS