let
copy _ =
assert
false