personality(0xffffffff) = 0 (0)
personality(0) = 0 (0)
personality(0xffffffff) = 0 (0)
personality(0|0x7000000) = 0 (0)
personality(0|0x10000) = 0x7000000 (0|0x7000000)
personality(0|0x7010000) = 0x10000 (0|0x10000)
personality(0x6) = 0x7010000 (0|0x7010000)
personality(0x6|0x7000000) = 0x6 (0x6)
personality(0x6|0x10000) = 0x7000006 (0x6|0x7000000)
personality(0x6|0x7010000) = 0x10006 (0x6|0x10000)
personality(0x1f) = 0x7010006 (0x6|0x7010000)
personality(0x1f|0x7000000) = 0x1f (0x1f)
personality(0x1f|0x10000) = 0x700001f (0x1f|0x7000000)
personality(0x1f|0x7010000) = 0x1001f (0x1f|0x10000)
personality(0) = 0x701001f (0x1f|0x7010000)
+++ exited with 0 +++
