I don't really like this sentence. It reads very awkwardly to me. What do you think of ..."occurs upon first use of the `ARG` variable. The declaration of the `ARG` variable does not count as a use." ?   Perhaps some variation of the above.  