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