WIP: implement size-underestimate handling

This works OK, but overestimates are not handled yet
WIP