1  /* { dg-do run } */
       2  
       3  char one[50] = "ijk";
       4  int
       5  main (void)
       6  {
       7    return __builtin_strlen (one) != 3;
       8  }