PROC
Repeat_X_Times((INTEGER) _X)
THEN
SetDB_While(_X);
CountToXContinue(_X);
PROC
CountToXContinue((INTEGER) _X)
AND
DB_While(_Count)
AND
_Count < _X
THEN
DebugBreak("Repetition");