#include <stdio.h>

//__attribute__((weak)) char zz[10] = "012345678";
//char zz[10] = "012345678";

int main(void) {
		char zz[10] = "012345678";
        for (int i = 0; i < 11; ++i) {
                zz[i] = '5';
        }
        printf("%s\n", zz);
        return 0;
}