class PushEvent { PushEvent(this.eventType); int eventType; }