Use unreachable!