static char *sccsid = "@(#)sync.c	4.1 (Berkeley) 10/1/80";
main()
{

	sync();
}