. "in the body of that procedure, x is an int just as if you had declared it with an" . . .