/**
* -- miscellaneous useful extra words for DOUBLE-EXT
*
* Copyright (C) Tektronix, Inc. 1998 - 2001. All rights reserved.
*
* @see GNU LGPL
* @author Tektronix CTE @(#) %derived_by: guidod %
* @version %version: %
* (%date_modified: %)
*
* @description
* Compatiblity with former standards, miscellaneous useful words.
* ... for DOUBLE-EXT (which is almost complete... just almost)
*//*@{*/