// Runs after the program: the event loop (see loop.js)
__run_loop();