svoid automate_typeString(S s) {
  for (char c : characters(s))
    automate_typeChar(c);
}