svoid loadNativeLibraryVerbose(S snippetID) {
  print("Loading native library: " + snippetID);
  loadNative(snippetID);
  print("Loaded native library: " + snippetID);
}