console.log("// trapsNeverHappen=" + binaryen.getTrapsNeverHappen());
binaryen.setTrapsNeverHappen(true);
assert(binaryen.getTrapsNeverHappen() == true);