let \1 : "0"
let \2 : 48

# (let (@ 1 0-3) ‘\1’
#   (.value
#     (string (@ 1 9-12) ‘"0"’)
#   )
# )
# (let (@ 2 0-3) ‘\2’
#   (.value
#     (string (@ 2 9-11) ‘48’)
#   )
# )