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