svoid linux64_registerWebPReader() {
  if (!hasImageReaderForType("image/webp")) {
    print("Registering WebP reader");
    loadNative(#1400306);
    javax.imageio.spi.IIORegistry.getDefaultInstance().registerServiceProvider(new WebPImageReaderSpi);
    assertTrue("WebP image reader loaded", hasImageReaderForType("image/webp"));
  }
}