// XXX BINARYEN - we don't need this, but stuff imports it