let zones_ty = Type.hashtbl Type.int data_ty