#include <stdio.h>
int main(void) {
char s[8]="Hello";
int i=0;
while(s[i]!= '\0'/* ここ */){
i++;
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIHNbOF09IkhlbGxvIjsKCWludCBpPTA7Cgl3aGlsZShzW2ldIT0gJ1wwJy8qIOOBk+OBkyAqLyl7CgkJcHJpbnRmKCIlYyIsIHNbaV0vKiDjgZPjgZMgKi8pOwoJCWkrKzsKCX0KCXByaW50ZigiXG4iKTsKCXJldHVybiAwOwp9Cg==