Copyright (C) 2026 David Mazieres.  All rights reserved.

Distribution permitted under the GNU General Public License (GPL)
version 3 or later, which you can obtain here:

        http://www.gnu.org/licenses/gpl-3.0.html

If the Free Software Foundation publishes a higher-numbered GPL
license, you may at your option distribute this software under the
terms of that license as well.
