[Vala] Vala type conversion issue

[Adam Kovari <kovariadam gmail com>]

Hello,
i'm a newbie to Vala language and i really like it, unfortunatelly i
came to this compile issue, which i cannot resolve only by myself.

this code:
Gtk.propagate_event(this, (Gdk.Event) event);

translates into this C-equivalent:
gtk_propagate_event ((GtkWidget*) self, (GdkEvent*) (*event));

"event" is a type of Gdk.EventButton.

My intention is to get:
gtk_propagate_event ((GtkWidget*) self, (GdkEvent*) event);

Because current code cannot be compiled, here is the error message:
error: cannot convert to a pointer type

My question is, how to convert Gdk.EventButton instance to Gdk.Event
instance properly?

Thanks
-- 
---
Adam Kovari(mailto:kovariadam gmail com)