/* $Header: /tmp_mnt/vida/disks/disk5/Users/terry/r/gassy/RCS/scaling.h,v 1.1 1992/10/09 06:43:03 terry Exp terry $ */
#if defined(SCALING)
extern VOID *no_scaling();
#endif