λ agent-PINARD λ | BATrace