let hash (ta,n) = 31*n + 73*Ctypes.hash ta