io_dir             35 old_code/2015linfty/iodof.h   IO_direction io_dir;
io_dir             48 old_code/2015linfty/iodof.h   : filename {filename_series_prefix}, io_dir {write_or_read}, f_no {starting_no}
io_dir             50 old_code/2015linfty/iodof.h       switch(io_dir){
io_dir             70 old_code/2015linfty/iodof.h   switch(io_dir){