Copyright (C) 2001-2015 Peter Selinger