# This should fail

f : file_type;
create( f, out_file, "t.t" );
set_input( f ); -- only input from an in_file

-- note: t.t left created after this test