1@x l.45
2main(argc,argv)
3  int argc; /* the number of command-line arguments */
4  char *argv[]; /* an array of strings containing those arguments */
5@y
6int main(@t\1\1@>
7  int argc, /* the number of command-line arguments */
8  char *argv[]@t\2\2@>) /* an array of strings containing those arguments */
9@z
10