A small JS-to-C compiler for a subset of ES3/ES5/ES6 with replaceable standard lib