diff --git a/pyk/src/tests/integration/kllvm/test_convert.py b/pyk/src/tests/integration/kllvm/test_convert.py
index ae4e5f04513..8762dd2da70 100644
--- a/pyk/src/tests/integration/kllvm/test_convert.py
+++ b/pyk/src/tests/integration/kllvm/test_convert.py
@@ -23,6 +23,7 @@ def _in_module(kore_text: str) -> str:
     (r'string-\x24', r'"a\x24b"'),
     (r'string-\u03b1', r'"a\u03b1b"'),
     (r'string-\U0001F642', r'"a\U0001F642b"'),
+    (r'foo0\\\\uffff\\\\Uffffffff', r'"foo0\\\\uffff\\\\Uffffffff"'),
     ('evar', 'X : SortInt{}'),
     ('evar-sortvar', 'X : S'),
     ('svar', '@X : SortInt{}'),