use python-style for loop