r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
1
__f0__: (&& (&& ((> i0 5)) ((> i1 5))) ((> i2 5)))