;;-*-Lisp-*- (in-package goal) ;; ERROR: top level function was not converted to expressions. Cannot decompile.