kdb5_destroy
{"destroy", kdb5_destroy, 1}, /* 1 opens the kdb */
extern void kdb5_destroy (int argc, char **argv);