c2hs-0.25.1: tests/bugs/issue-128/tst.c

#include <stdio.h>
int main(int argc, char *argv[]) { printf("%u\n", sizeof(_Bool)); }