SUCCESS would then be a boolean.
What would change is the code would visually scan as:
while True do
begin....
...which is obviously suspiciously infinite. When you check the block and find no break, goto or exception you have the bug. No possibility of SUCCESS changing value in a pass by reference function.