一道题关于linux分页

int a = 1000;
int main ()
...{
    int *b = &a - (0x1000/4);
    printf("*b = %d ",*b);
    printf("b = %p ",b);
    printf("&a = %p ",&a);
    printf("a = %d ",a);
}

i386 linux下用gcc编译

结果是什么?

result: 

*b = 1000
b = 0x804856c
&a = 0x804956c
a = 1000

谁能帮忙具体解释一下啊？