JS++, a JavaScript/C++ bridge