llvm_unreachable() is not for user diagnostics....