svoid loadNativeLibrary(File lib) {
  print("Loading native library: " + f2s(lib));
  Runtime.getRuntime().load(f2s(lib));
}