A lightweight C++ kernel designed to run a JavaScript VM