# string_repeat "Hiuoa" 3 ;;
- : string = "HiuoaHiuoaHiuoa"