svoid rotateStringBuffer_gen(O buf, int max) {
  if (buf cast StringBuffer)
    rotateStringBuffer(buf, max);
}