Use plain old int