I think these are supposed to come after the first `while` loop.