# CONFIG_MEMORY is not set