/* Origin: Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
Boolean types were not accepted as array sizes nor as switch
quantities. */
#include <stdbool.h>
int
main(void)
{
bool arr[(bool)1];
switch (arr[0])
default:;
}
return 0;