print
write
print_ch
write_ch
channel
std_channels
StdIO
erase_file
prim_open_file
prim_close_channel
prim_read