::= ::= "int" "(" ")" "{" "}" ::= "return" ";" ::=