/* APPLE LOCAL file unsigned wraps 6486153 */
/* { dg-do run } */

int main(int argc, const char **argv) {
    unsigned int foo = 0xfffffff0u + argc - 1;
    if (((11u * foo) % 11u) == 4)
      return 0;
    return 1;
}