Arduino/esp8266/micropython/tests/bench/loop_count-5-while_down_ne.py

import bench

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

bench.run(test)