Ensures SymbolicInterpreter::return_value_ is properly initialized.
Ensures SymbolicInterpreter::return_value_ is properly initialized.

wy7980/crest,jburnim/crest,wy7980/crest,wy7980/crest,wy7980/crest,jburnim/crest,jburnim/crest,jburnim/crest