Nerio is a safe subset of JavaScript.