#include <stdio.h>
int main()
{
char c;
int i;
for (i = 0; i < 10; i++) {
c = "12345ABCDE"[i];
}
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpCnsKCWNoYXIgYzsKCWludCBpOwoKCWZvciAoaSA9IDA7IGkgPCAxMDsgaSsrKSB7CgkJYyA9ICIxMjM0NUFCQ0RFIltpXTsKCQlwcmludGYoIiVjICIsIGMpOwoJfQp9Cg==