sS dropStarPrefix(S s) {
  ret dropPrefix("*", s);
}