[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true 
[*] /tmp/devel/pvs/work/.tools/bin/true
<.> true