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

;; name: wcar-mirage.gc
;; name in dgo: wcar-mirage
;; dgos: LPATK, LFACCAR, WASALL

;; DECOMP BEGINS