/* Pause performs the same function as the DOS pause command.
JPV 03/29/95 */

#include <stdio.h>

int y;

void main()
{
	printf("Press the <ENTER> key to continue...");
	y=getchar();
}