// Compile: cc -std=c23 test_7_11_stdbool.c
#include <stdbool.h>
#include <assert.h>
int main(void) {
  bool t = true;
  assert(t && !false);
  return 0;
}