ReturnValue: generate code for returning if there's nothing to return
too.