push notifications: generating random events