Re: [PATCH v3 5/7] jscript: Handle non-JS objects in Object.getPrototypeOf.