Assign user data to widgets

How can I retrieve user data through a widget? I would like to store a pointer inside GX_WIDGET to be retrieved later in the event handler.

Reading the documentation, `gx_widget_user_data` is meant to store user data. The problem is that converting from a pointer to an integer is not portable. 

How can user data be assigned to a widget?


