"usage: db_checkpoint [-v] [-h home] [-k kbytes] [-L file] [-p min]\n");
"usage: db_checkpoint [-1v] [-h home] [-k kbytes] [-L file] [-p min]\n");
usage(){	(void)fprintf(stderr,    "usage: db_checkpoint [-v] [-h home] [-k kbytes] [-L file] [-p min]\n");	exit(1);}