# This should fail

trace true;

f : file_type;
create( f, out_file, "./test.txt" );
put( f, 5, f ); -- bad picture type