let
hash _ =
assert
false