# # Copyright 1998 - 2008 Double Precision, Inc. # See COPYING for distribution information. dblibrary="@dblibrary@"