+void gtk_menu_position_callback_marshal (GtkMenu *menu, gint x, gint y,
+ gboolean push_in, gpointer data)
+{
+ GValue args[3];
+
+ memset (args, 0, 3 * sizeof (GValue));
+ g_value_init (&args[0], G_TYPE_INT);
+ g_value_set_int (&args[0], x);
+ g_value_init (&args[1], G_TYPE_INT);
+ g_value_set_int (&args[1], y);
+ g_value_init (&args[2], G_TYPE_BOOLEAN);
+ g_value_set_boolean (&args[2], push_in);
+
+ callback_marshal ((guint)data, NULL, 3, args);
+}
+
+