2:3: integer overflow
