NaCl port of V8