# CONFIG_GCC_PLUGIN_RANDSTRUCT is not set