Copyright (c) 2001-2015 by The Fellowship of SML/NJ
Copyright (c) 1989-2001 by Lucent Technologies