print
write
print_e_
write_e_
channel
std_channels
StdIO
erase_file
prim_open_file
prim_close_channel
prim_read