/* Additional import */
extern Pixmap _DtGetMask(Screen *screen, char *image_name);