Re-enable generation of CheckReturnValue