(rule
 (action
  (with-stdout-to nat_add.log
   (run sername --de-bruijn --str-pp %{dep:nat_add.sername}))))

(rule
 (alias runtest)
 (action (diff nat_add.out nat_add.log)))
