ATS->C->JS via empscripten