Yes, it's legal to miss out the int, but it whines that it's defaulting to int.  Best to be explicit.