. . "integer"@nl . "3"^^ . . . . . .