# This public domain, so no copyright notice.
copyright-without-copyright-notice
