Don't use __builtin_unreachable() for now.