static S prependGlobalIDInNewLine(S s) {
  ret "  [id: " + aGlobalID() + "]\n\n" + s;
}