An invocation statement invokes a procedure. Its form is
<primary> "(" [<args>] ")"
(A primary is a limited kind of expression (7.16).)
The semantics of an invocation statement is the same as an invocation
expression (6.1) except that the procedure invoked may return
any number of results, and any such results are discarded.