static JLabel dm_calculatedBoldLabel(IF0<O> calc) {
  ret boldLabel(dm_calculatedLabel(calc));
}