Variables

Name	Description
stderr:OutputStream	Output stream for stderr.
stdin:InputStream	Input stream for stdin.
stdout:OutputStream	Output stream for stdout.
π:Real	$\pi$