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

;; failed to figure out what this is:
0