Pauzner's min_heap implentation prototype with 1-based array