;;-*-Lisp-*-
(in-package goal)
;; name: sniper.gc
;; name in dgo: sniper
;; dgos: ATE
;; DECOMP BEGINS