# This should fail

f : file_type;
put( f, 5 ); -- file not open