sS addDotPrefix(S s) {
  ret addPrefix(".", s);
}