mozilla/js2/semantics
