. . . "1. x is an Int" .