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