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