user_defined_function
INSTANCE user_defined_function#2;
corresponds_to = {user_defined_function#3};
name = "sum_marks";
formal_parameters = [formal_parameter#28];
return_type = simple_type(real_type);
parameter_type = simple_type(real_type);
local_variables = {jex.LocalVariable@5ee400, jex.LocalVariable@c5e9c};
body = {jex.RepeatStmt@3936e1, return_statement#2};
END_INSTANCE;
INSTANCE user_defined_function#3;
corresponds_to = {user_defined_function#2};
name = "sum_marks";
formal_parameters = [formal_parameter#29];
return_type = simple_type(real_type);
parameter_type = simple_type(real_type);
local_variables = {jex.LocalVariable@454796, jex.LocalVariable@5ed0f0};
body = {jex.RepeatStmt@778255, return_statement#3};
END_INSTANCE;