static S defaultTimerName_name;

static S defaultTimerName() {
  if (defaultTimerName_name == null)
    defaultTimerName_name = "A timer by " + programID();
  ret defaultTimerName_name;
}