# CONFIG_DEFAULT_NOOP is not set