(executable
 (name user)
 (libraries lwt))
