def uesc
import cswap-bend-cli@0.1.0.0/json/quote.bend as Quoteimport Base
7# \uXXXX, lowercase hex as Python writes it.
8def uesc(+n: U32) -> String:
9 "\\u" ++ SCon{hexd(((n >> 12n) .&. 15 : U32)), SCon{hexd(((n >> 8n) .&. 15 : U32)), SCon{hexd(((n >> 4n) .&. 15 : U32)), SCon{hexd((n .&. 15 : U32)), SNil{}}}}}