static S tok_spacesToDashes(S s) {
  ret join(replace(javaTok(s), " ", "-"));
}