# Read a character from the standard input (`stdin`).
fun getc: Char
do
	var c = sys.stdin.read_char
	if c == null then return '\1'
	return c
end