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