void callback(GtkCTree ctree, XXX UNKNOWN, int UNKNOWN);