function rotateString(text: string, k: number): string {
  return text.substring(k) + text.substring(0, k)
}

// No modificar: necesario para evaluar el resultado.
export { rotateString };