Binary_heap_file