static S dropPrefix_trim(S prefix, S s) {
  ret dropPrefixTrim(prefix, s);
}