A.1.6 js2c