text: import rename_pcre_encoder.*;
  
  public class rename_pcre_encoder_runme {
    static { System.loadLibrary("rename_pcre_encoder"); }
  
    public static void main(String argv[])
    {
      SomeWidget w = new SomeWidget();
      w.put_borderWidth(17);
      if ( w.get_borderWidth() != 17 )
        throw new RuntimeException(String.format("Border with should be 17, not %d",
                                                 w.get_borderWidth()));
      if ( rename_pcre_encoder.StartINSAneAndUNSAvoryTraNSAtlanticRaNSAck() != 42 )
        throw new RuntimeException("Unexpected result of renamed function call");
    }
  }
  