Copyright (C) 2001-2020 Kasper Peeters <kasper@phi-sci.com>
Distributed under the GNU General Public License version 3.
Special permission to use tree.hh under the conditions of a
different license can be requested from the author.