function ProxyCreateRevocable(target, handler) {
  var p = new GlobalProxy(target, handler);
  return {proxy: p, revoke: () => %JSProxyRevoke(p)};
}
function ProxyCreateRevocable(target, handler) {
  var p = new GlobalProxy(target, handler);
  return {proxy: p, revoke: () => %JSProxyRevoke(p)};
}
function ProxyCreateRevocable ( target , handler ) { var p = new GlobalProxy ( target , handler ) ; return { proxy : p , revoke : ( ) => % JSProxyRevoke ( p ) } ; }
----------------------------------------------------------------------------
----------------------------------------------------------------------------