// event_loop method goes down to GUI...