identifier label - > identifier label2 ( ) ; EOF