Header file implementing a max heap