#ifndef lint
static char sccsid[] = "@(#)label.c	4.1 (Berkeley) 11/10/83";
#endif

label(s)
char *s;
{
	printf("%s", s);
}