554889e54883ec20897decc745f00100 0000c745f400000000c745f802000000 c745fc03000000eb298b45f483c00189 45f4488d45f04889c7e8adffffff8b45 f489c6bf5d084000b800000000e85efd ffff8b45f43945ec7fcf90c9c3 56616c203d2025640a00 while \(i\[1\] < max\) i\[1\] = i\[1\] \+ 1; i\[[0-3]\] = [0-3]; might_change\(i\);