(1)
(2)   
(3)
(4) tracepoint  
(5) while    do
(6) 
(7) 
(8) tracepoint  
(9) CALCULATESTATISTICS()
(10)   
(11)      
(12) end while
(13) tracepoint  
Algorithm 1: Tracepoints in npt.