import static x30_pkg.x30_util.UniqueString;
import static x30_pkg.x30_util.uniqueString;

static UniqueString vmWideUniqueString(S s) {
  ret uniqueString(s);
}

static UniqueString vmWideUniqueString(CharSequence s) {
  ret uniqueString(s);
}