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

dot(){
}