Permission to use, copy, modify, and distribute this document for any purpose
and without any fee is hereby granted, provided that the above copyright notice
and this list of conditions appear in all copies.