sS tok_deRoundBracket(S s) { ret tok_isRoundBracketed(s) ? join(dropFirstThreeAndLastThree(javaTok(s))) : s; }