# CONFIG_SLICOSS is not set