let
add_offset d te k = add d (n_size k te)