added a static counter, just for printing. WARNING -- expected undefi…
 added a static counter, just for printing. WARNING -- expected undefined behaviour with multithreaded core