[*] /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/camlasmb6a0c9.s
<.> as -o Perf.o /tmp/camlasmb6a0c9.s