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