traced_foo =: monad define script
entering y.
if. y. < 1
  do. leaving 0
  else. leaving y. + traced_foo y. - 2
end.
)