changed from HardCore to (Core Int)