(jbuild_version 1) (executable ((name discover)))