///usr/bin/env jbang "$0" "$@" ; exit $?
//JAVA 25+
/// Proof: string-repeat
/// Source: content/strings/string-repeat.yaml
void main() {
    String result = "abc".repeat(3);
    // "abcabcabc"
}