value starts from 0
value is arg1
value is arg2
after first while, value is 0
value is arg1
value is arg2
finally, value is arg2