function rotateString(text: string, k: number): string {
  k = k%text.length
  return text.slice(k)+text.slice(0,k);
}

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