protected_identifier

protected_identifier ::= identifier 

[rule list]
This rule is called by

-> protected_body -> protected_definition