(j3.2006) (j3.2005) Re: question on token replacement/concatenation

[Michael Ingrassia]

What is the correct expansion of

DEFINE MACRO :: A (X,Y)
MACRO OPTIONAL :: X, Y
PRINT *, 'Passed: ', X
PRINT *, 'Failed: ', X
END MACRO A

EXPAND A ( test13 )

Seems like macro actual test13 could be either X or Y .
Do we need a sentence like "macro actual
arguments is to macro dummy arguments as
procedure call actual arguments
is to procedure dummy arguments"  or "argument correspondence
in macro expansion works just like argument correspondence in
procedure calls" or some such?  

	--Michael I.