# CONFIG_STRICT_MODULE_RWX is not set
