0x7fff6f31f750 and 0x7fff6f31f750
0x7fff6f31f750 and 0x1509030