public static Object[] getTIB(Object o) { return VM_JavaHeader.getTIB(o);
public static Object[] getTIB(VM_Address ptr) { return getTIB(VM_Magic.addressAsObject(ptr));
  public static Object[] getTIB(Object o) {     return VM_JavaHeader.getTIB(o);  }