assert(0) => llvm_unreachable