define the header of binheap