ia32_enabled
if (ia32_enabled())
} else if (ia32_enabled() &&
bool enabled = ia32_enabled();
if (ia32_enabled()) {