Use int instead of integer.