let phys_equal = Caml.(==)