PROGRAM Main
GLOBAL a, b
PROCEDURE P (PARAMETER x)
{Begin P}
LOCAL a
...a...
...b...
...x...
{End P}
{Begin Main}
...
Call P(a)
...
{End Main}