#include <stdio.h>

#if __cplusplus != 201103L
#error This file should be compiled with -std=c++11!
#endif

int main( int argc, const char *argv[] ) {
  printf("Hello world!\\n");
  return 0;
}