The following files are trivial, in my opinion not copyrightable in
the first place, and hereby explicitly released to the Public Domain:
The following files are trivial, in my opinion not copyrightable in
the first place, and hereby explicitly released to the Public Domain: