$include "xnames.icn" May 26, 1994; Ralph E. Griswold This file is in the public domain.
These definitions are provided for compatibility between versions 8.10 and 9.0 of Icon.