asn1_put_uint64
off = asn1_put_uint64(tbuf, 0 - (uint64_t)r);
off = asn1_put_uint64(tbuf, r);
off = asn1_put_uint64(buf, r);