/* auxui.h for !DiscEx */


extern char * trans_density (int density);
extern char * pc (unsigned x, unsigned y);
extern char * numdf (double x);
extern char * numh8 (unsigned int n);
extern char * numh3 (unsigned int n);
extern char * num (unsigned int n);
extern error * gadget_fade (ObjectId dbox, ComponentId id, Bool fade);
extern Bool equalstr_ci (char *s, char *t);
