prog_privilege

prog_privilege 
      ::= 
      "execute" 

This rule is called by

privilege