(executables (names discover) (libraries base stdio dune-configurator)
 (preprocess (pps ppx_assert)))