Fix dual loop >= 4. Fix format specified for printing u64 counter.