revived integer LK