Compiling return statements