OK, I agree now, thank you for the detailed explanation. To summarize, you are saying that in my example, the programmer would almost certainly notice that it'

OK, I agree now, thank you for the detailed explanation. To summarize, you are saying that in my example, the programmer would almost certainly notice that it's a macro; at which point he would know to look at the documentation and it would still look like a referentially-transparent macro.