# This should fail

f : file_type;
touch ./test.txt;
create( f, out_file, "" ); -- empty filename