def utf8.put

import ezx@1.11.0.0/src/share/sha.bend as Sha

import Base

128def utf8.put(+code: U32) -> String:
129  utf8.put.ascii(U32.is_lt(code, 128), code)

Uses (4)