static S rules_unfoldIndented(S s) {
  if (containsTabs(s)) warn("Tabs in input");
  s = s.replace("\t", "  ");
  ret s;
}