mozilla/js2/semantics/JSECMA
