It appears that (for some reason) the upper 32 bits of the tree pointer in 
PState.tree are being cleared. You can see this if you add printf("Node at 
address: %pn", (void *)e); to the mkNode functions, and then print the value of 
the tree pointer.

Reply via email to