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