#ifndef lintstatic	char sccsid[] = "@(#)label.c 1.1 92/07/30 SMI"; /* from UCB 4.1 6/27/83 */#endifextern vti;label(s)char *s;{	int i, o;	o = 01401;	write(vti, &o, 2);	for(i=0; s[i++]; )		;	write(vti, s, i);}