return_statement ::=
 RETURN [[(] expression [)]];