Remove dump_query() function. It seems to have been used for printf debugging of test files and never removed. (Debuggers aren't great, but they are better than hand-maintained printing routines for this kind of thing; in particular, gdb will do this for you rather better than dump_query() did.)