42     // 6. If IsCallable(target) is true, then P.[[Call]] as specified in 9.5.12.  in ProxyCreate()
69     // 7. If trap is undefined, then Return target.[[GetPrototypeOf]]().  in GetPrototype()
130     // 7. If trap is undefined, then Return target.[[SetPrototypeOf]](V).  in SetPrototype()
190     // 7. If trap is undefined, then Return target.[[IsExtensible]]().  in IsExtensible()
228     // 7. If trap is undefined, then  in PreventExtensions()
256     // 10. If booleanTrapResult is true, then  in PreventExtensions()
280     // 8. If trap is undefined, then  in GetOwnProperty()
319     // 14. If trapResultObj is undefined, then  in GetOwnProperty()
353     // 22. If resultDesc.[[Configurable]] is false, then  in GetOwnProperty()
355         // a. If targetDesc is undefined or targetDesc.[[Configurable]] is true, then  in GetOwnProperty()
359         // b. If resultDesc has a [[Writable]] field and resultDesc.[[Writable]] is false, then  in GetOwnProperty()
364         // b. If resultDesc has a [[Writable]] field and resultDesc.[[Writable]] is false, then  in GetOwnProperty()
419 …// 17. If Desc has a [[Configurable]] field and if Desc.[[Configurable]] is false, then Let settin…  in DefineOwnProperty()
426     // 19. If targetDesc is undefined, then  in DefineOwnProperty()
447 …// is true, then If Desc has a [[Writable]] field and Desc.[[Writable]] is false, throw a TypeErro…  in DefineOwnProperty()
453 …// is true, then If Desc has a [[Writable]] field and Desc.[[Writable]] is false, throw a TypeErro…  in DefineOwnProperty()
497     // 11. If booleanTrapResult is false, then  in HasProperty()
504         // c. If targetDesc is not undefined, then  in HasProperty()
567     // 13. If targetDesc is not undefined, then  in GetProperty()
570         // false, then  in GetProperty()
580         // undefined, then  in GetProperty()
635     // 14. If targetDesc is not undefined, then  in SetProperty()
638         // false, then  in SetProperty()
645         // b. If IsAccessorDescriptor(targetDesc) and targetDesc.[[Configurable]] is false, then  in SetProperty()
734     // 7.If trap is undefined, then  in OwnPropertyKeys()
780     //     c.If desc is not undefined and desc.[[Configurable]] is false, then  in OwnPropertyKeys()
807     // 19.If extensibleTarget is true and targetNonconfigurableKeys is empty, then  in OwnPropertyKeys()
886     // 7.If trap is undefined, then  in CallInternal()
936     // 7.If trap is undefined, then  in ConstructInternal()