let
add_offset d te k =
F
.i_add d (n_size k te)