The example is correct in isolation, but if people just copy the loop, it will go into infinite loop when given an empty byte slice.