Use TEST_CYCLE for the plain implementation (here and on other 13 lines below)