svoid printMetaSrc(O o) {
  if (o == null) ret;
  print("Meta src of " + toStringWithIdentity_inFront(o) + ":\n  " + getMetaSrc(o));
}