Modified int-impl-1.