# The arguments of the program as given by the OS
fun args: Sequence[String]
do
	return sys.program_args
end