return statement generation