on Chips with Int