static void dump_locks(FILE *fp=stdout);
static void dump_buffers(FILE *fp=stdout);
static void dump_threads(FILE *fp=stdout);
static void dump_locks(FILE *fp=stdout);
static void dump_buffers(FILE *fp=stdout);
static void dump_threads(FILE *fp=stdout);