let
copyinfile lcase=
for
k=0
to
(
List
.length lcase)-1
do
write k
done
;
Unix
.close file