Really working heap