You don't need an unbounded integer to get the algorithm to work though. All you need is to test and set the value to 1.