Minimal C program to verify GCC installation

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char** argv)
{
  printf("__GNUC__: 0x%08x\n", __GNUC__);

  return EXIT_SUCCESS;
}