1  #include <stdbool.h>
       2  
       3  int f (int a, int b, int c, _Bool d, _Bool e, _Bool f, char g)
       4  {
       5    if (g != 1 || d != true || e != true || f != true) abort ();
       6    return a + b + c;
       7  }
       8  
       9  int main (void)
      10  {
      11    if (f (1, 2, -3, true, true, true, '\001'))
      12      abort ();
      13    exit (0);
      14  }