// Duplicates a string count times. If count is
// not a positive number then the empty string
// is returned.
String Duplicate(String src, int count) {
  String result = "";
  for (int i = 0; i < count; i++) {
    result += src;
  }
  return result;
}