let
with_buf_pos t buf_pos = { t
with
buf_pos }