static S plusToSpace(S s) {
  ret s.replace("+", " ");
}