one bug before analyzing for loop