static void ai_printSubSpace(AI_SubSpace ss) {
  if (ss == null) ret;
  print("Subspace with " + nWeb(ss.webs) + ":");
  for (Web web : ss.webs)
    print("  " + webToStringShort(web));
  print();
}

static void ai_printSubSpace() {
  ai_printSubSpace(ai_currentSubSpace());
}