adding with-event-loop