176259Sgreen#include <stdbool.h>
265668Skris
376259Sgreenint f (int a, int b, int c, _Bool d, _Bool e, _Bool f, char g)
476259Sgreen{
565668Skris  if (g != 1 || d != true || e != true || f != true) abort ();
665668Skris  return a + b + c;
765668Skris}
865668Skris
965668Skrisint main (void)
1065668Skris{
1165668Skris  if (f (1, 2, -3, true, true, true, '\001'))
1265668Skris    abort ();
1365668Skris  exit (0);
1465668Skris}
1565668Skris