(executable
 (public_name swim-demo)
 (name main)
 (libraries swim eio_main))