# the address space and the other stacks are in the heap (lower).
print("\tmovq \$0x7fff00000000, %r11\n");
print("\tcmpq %r11, %rsp\n");
# the address space and the other stacks are in the heap (lower).
print("\tmovq \$0x7fff00000000, %r11\n");
print("\tcmpq %r11, %rsp\n");