# CONFIG_MPSC is not set