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