added an int include