public static Object[] getTIB(Object o) { return VM_JavaHeader.getTIB(o);
public static Object[] getTIB(ObjectReference ptr) { return getTIB(ptr.toObject());
  public static Object[] getTIB(Object o) {     return VM_JavaHeader.getTIB(o);  }