sS dropDotPrefix(S s) {
  ret dropPrefix(".", s);
}