let
diff_if_one _ =
assert
false