mac: use splay tree for pointer searches