x = 12;
if (strcmp ("\f", setstr (x)))
  printf ("ok\n");
endif
