Implement elimination of unused integers