Copyright 2010 Tony Finch
Copyright 2013,2014 Ian Jackson
+with-lock-ex
+ Copyright 1993-2016 Ian Jackson in some jurisdictions
+ Copyright 2017 Ian Jackson in all jurisdictions
+ Copyright 2017 Genome Research Ltd
+
The chiark utilities are all free software; you can redistribute them
and/or modify them under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 3 of the