svoid print_acc_programIDs() {
  print("ACC: " + joinWithSpace(acc_programIDs()));
}