#include <stdio.h>

int main(int argc, char** argv) {

  // declare some variables
  //

  bool foo = false;
  
  fprintf(stdout, "the value of foo is %d (%d bytes)\n", foo, sizeof(bool));

}