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