stub: binary/instanceof