# CONFIG_POSIX_MQUEUE is not set
