No need for treating the if (c) case separately.