consider the following function defination schema

int f(int x, int y){

int n ; //local variable

S //body code schema

}

give structured operation semantic of Eval( f(E1, E2),a) where "E1", and "E2" are actual parameter expression schemas and "a" is a function called state. Persumed that a predefind variable "return Val" is used to be hold the function return value