/* option `WS_KERNEL_MONOATTR' not defined */
/* option `WS_KERNEL_COLATTR' not defined */
/* option `WS_KERNEL_BG' not defined */
/* option `WS_KERNEL_FG' not defined */