# The name of the program as given by the OS
	fun program_name: String
	do
		return native_argv(0).to_s
	end