Using __builtin_unreachable in this way makes the switch version unsafe, too.