Encoding of instanceof