code: @Implementation(minSdk = P)
    protected static void nativeThemeDump(long ptr, long theme_ptr, int priority, String tag,
        String prefix) {
      CppAssetManager2 assetmanager = AssetManagerFromLong(ptr);
      Theme theme = Registries.NATIVE_THEME9_REGISTRY.getNativeObject(theme_ptr);
      CHECK(theme.GetAssetManager() == assetmanager);
      // (void) assetmanager;
      // (void) theme;
      // (void) priority;
      // (void) tag;
      // (void) prefix;
    }
docs: jint priority, jstring tag, jstring prefix) {