#ifndef lint
static char sccsid[] = "@(#)dot.c	1.1 (Berkeley) 01/02/85";
#endif

dot(){
}