I think this is what we want for ECMASCRIPT