(executable
  (name trace1)
  (libraries trace.core trace-tef))