Indicate the smallest and largest numbers in the range detected by the first branch. Assume x is a non-negative integer.
a) Smallest: 0, Largest: x
b) Smallest: 1, Largest: x + 1
c) Smallest: 0, Largest: x + 1
d) Smallest: 1, Largest: x