Issue 3882: Explicitly capture return values for strictly pure functions returning non-void