static void window_closed(object_t *window, event_t *event) { claro_shutdown(); }
void push_my_button( object_t *obj, event_t *event ) { claro_shutdown( ); }