Rất khuyến khích khi tạo hạt nhân 64 bit (cho nền tảng x86_64), để hướng dẫn trình biên dịch không sử dụng Vùng màu đỏ 128 byte mà ABI không gian người dùng thực hiện . (Đối với GCC, cờ biên dịch là -
Thực sự kỳ lạ gcc quirk. Check this out: main() { int a[100]; a[0]=1; }
sản xuất lắp ráp này: 0: 55 push %rbp
1: 48 89 e5 mov %rsp,%rbp
4: 48 81 ec 18 01 00 00 sub $0x118,%rsp