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

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