bheap: examples pass