static JLabel dm_centeredCalculatedLabel(IF0<O> calc) {
  ret centerLabel(dm_calculatedLabel(calc));
}