(use hahn setup-helper-mod)

(verify-extension-name "debug")

(setup-shared-extension-module
 'debug
 (extension-version "0.3.15")
 compile-options: '(-X hahn))

(run-hahn -o debug.wiki debug-core.scm)