; Copyright XXXX AGPL
(in-package #:nothing)