Write a string to standard output, terminating with a newline.
Write a string to standard output.
Write a character to standard output, terminating with a newline.
Write a character to standard output.
Given a parameter a
'show' a
to a standard output, terminating with a newline
Given a parameter a
'show' a
to standard output.
Read a string from standard input.
Read a character from standard input.
The internal representation of StdIO effects