Copyright (c) 2000-2015, Koen Claessen
Copyright (c) 2006-2008, Björn Bringert
Copyright (c) 2009-2015, Nick Smallbone
All rights reserved.