Arduino/esp8266/micropython/tests/bench/loop_count-5.1-while_down_ne_localvar.py

import bench

def test(num):
    zero = 0
    while num != zero:
        num -= 1

bench.run(test)