# CONFIG_DEBUG_INFO_DWARF4 is not set