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