Use Int typealias