use the while_loop defintion in a transcription from before it existed
use the while_loop defintion in a transcription from before it existed

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification