function main(var args)
{
	string filename = 'README';
	var file = new 'FileHandle';
	if (args > 1)
		filename= args[1];
	say ("File: ", filename);
	file.open(filename);

	for (;;)
	{
		var s= file.readline();
		if (file.eof() )
			break;
		print('>> ', s);
	}
	say("(End of file)");
	file.close();
}