Static search trees: faster than binary search