sbool weakRefEmpty(Reference r) {
  ret getWeakRef(r) == null;
}