# CONFIG_DEBUG_INFO_REDUCED is not set