svoid clearAllPrintBuffers() {
  for (O s : allPrintBuffers())
    clearStringBuffer_gen(s);
}