Pointer to EventState, which is an opaque type.
Source position: threadh.inc line 33
type PEventState = pointer;