(executable
  (name main)
  (libraries eio_main))
