free
Description:
public void free ()
Frees a Event, freeing or decrementing any resources associated with it.
Note that this function should only be called with events returned from functions such as
event_peek, event_get,
copy and Event.
Parameters: