An event loop
