`while (... < 3)`?