removing the supplied-p garbage from with-event-loop def