void destroy-event (void);