(executable
  (name PPrintBench)
  (libraries unix pprint)
)
