(executable
  (name generate)
  (flags (
    "-safe-string"
    "-w" "A"
  ))
  (libraries menhirSdk)
)
