Evaluate C for-loop execution count | Bitkernel