. . . . "pos -> a" . . . . .