(executable
 (name discover)
 (libraries sexplib))
