int variable[64];

main() {
     print(variable[20]=0x80000001);
     print(1+variable[20]);
    return 0;
}

print(i)
int i;
{
     printf("0x%08x = %d\n",i,i);
}