trying to find push-extend bug