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