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