/*	cat.c	1.1	86/01/12	*/
/*	cat.c	6.1	83/07/29	*/

main()
{
	int c, i;
	char buf[50];

	do {
		printf("File: ");
		gets(buf);
		i = open(buf, 0);
	} while (i <= 0);

	while ((c = getc(i)) > 0)
		putchar(c);
	exit(0);
}