found bug in standard HVE_IP version, corrected. Second shot to the amortized version