Use `__builtin_unreachable()` after `kill(…)`.