static S defaultThreadName_name;

static S defaultThreadName() {
  if (defaultThreadName_name == null)
    defaultThreadName_name = "A thread by " + programID();
  ret defaultThreadName_name;
}