/*
 * ----------------------------------------------------------------------------
 * "THE TSCHUNK-WARE LICENSE" (Revision 42):
 * WHAWTY wrote this file.  As long as you retain this notice you
 * can do whatever you want with this stuff. If we meet some day, and you think
 * this stuff is worth it, you can buy us a tschunk (https://tschunk.org/) in return.   
 * ----------------------------------------------------------------------------
 */