[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] /data/scratch/devel/verifast/work/.tools/bin/true 
<.> true  
[*] as -o Perf.o /tmp/camlasmbffb30.s
<.> as -o Perf.o /tmp/camlasmbffb30.s