Missed a __builtin_unreachable