async: make Platform's event type explict