Arduino/esp8266/micropython/tests/bench/loop_count-4-while_down_gt.py

import bench

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

bench.run(test)