Symbol: Is_overflowtrap_enabled