(executable
 (name gen_recover)
 (libraries unix menhirSdk))
