;;-*-Lisp-*-
(in-package goal)
;; name: drill-obs.gc
;; name in dgo: drill-obs
;; dgos: DMI
;; DECOMP BEGINS