static JLabel lambda0Like dm_calculatedLabel(IF0<O> calc) {
  ret jLiveValueLabel(dm_calculatedLiveValue(O, calc));
}