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