gif_set
if (gif_set(svm))
if (!gif_set(svm))
if (!gif_set(svm))
if (vgif || gif_set(svm)) {
if (!gif_set(svm)) {
if (!gif_set(svm))
if (!gif_set(svm)) {
return !gif_set(svm);