sS tok_dropRoundBracketsAroundSingleTokens(S s) {
  ret jreplace(s, "(*)", "$2");
}