Event.terminate

* deinitialize event. Does nothing if the event is not initialized. There must not be * threads currently waiting for the event to be signaled.