let ticker_animation = [|
  "\\";
  "|";
  "/";
  "-";
|]