Use NSInteger instead of int