#include <stdio.h> error(dummy) char *dummy; { printf("%s\n",dummy); } static char Sccsid[] = "@(#)error.c 1.2";