console.log("// closedWorld=" + binaryen.getClosedWorld());
binaryen.setClosedWorld(true);
assert(binaryen.getClosedWorld() == true);