static JLabel writeBesideMemoryView_label;

svoid writeBesideMemoryView(fS text) {
  swing {
    if (writeBesideMemoryView_label == null)
      putBesideMemoryView(writeBesideMemoryView_label = jlabel());
    S s = trim(text);
    setText(writeBesideMemoryView_label, empty(s) ? "" : " " + s + " | ");
  }
}