I added `unreachable` in this branch based on a misunderstanding of the
original control flow.