// extension.cpp just copy/paste extension.c. This file is used to pass
// a filename with ".cpp" extension to select a C++ compiler.
#include "extension.c"