x = 11;
if (strcmp ("\v", setstr (x)))
  printf ("ok\n");
endif
