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

;; name: hal-task.gc
;; name in dgo: hal-task
;; dgos: SEB, SWB, LKIDDOGE, UNB, CTYKORA

;; DECOMP BEGINS