void query_newnamebuf(void) { ((void)"query_newnamebuf"); }