static S prependGlobalIDInNewLine(S s) {
  ret prependGlobalIDInNewLine(aGlobalID(), s);
}

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