def put_dec
import lawful-fields@0.1.1.0/fields.bend as Fieldsimport Base
import lawful-bytes@0.1.1.0/defs.bend as D
108# n written in decimal at the end of b (for room enough: at most 10 bytes).
109def put_dec(b: D.Bytes, +n: U32) -> D.Bytes:
110 put_dec.go(put_dec.list(n), b)