/* option `WSEMUL_SUN' not defined */
/* option `WSEMUL_NO_DUMB' not defined */
/* option `WSEMUL_DEFAULT' not defined */