let copy (_, i, iosh) = ((), i, Inthash.copy iosh)