Estimating simple while loops