let hash _ = assert false