From 4c1a3fab647ca405198ef6cbb2ce06dc782f7f45 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 5 Nov 2022 23:15:03 -0700
Subject: [PATCH] fix #6442

---
 src/api/api_seq.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/api/api_seq.cpp b/src/api/api_seq.cpp
index d64589cde..6a9d0f81c 100644
--- a/src/api/api_seq.cpp
+++ b/src/api/api_seq.cpp
@@ -212,6 +212,8 @@ extern "C" {
                 buffer.push_back('\\');
                 buffer.push_back('u');
                 buffer.push_back('{');
+                if (ch == 0)
+                    buff.push_back('0');
                 while (ch > 0) {
                     unsigned d = ch & 0xF;
                     if (d < 10)