void main(void) {
    int a[10];
    a[0] = 1024;
    output(a[0.1]);
    return;
}