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

dot(){
}