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

;; name: temple-obs.gc
;; name in dgo: temple-obs
;; dgos: TEMA

;; DECOMP BEGINS