docs: public static String lpad(String base, Integer len, String pad)
    {
      if (len < 0) {
        return null;
      } else if (len == 0) {
        return "";
      }
  
      char[] data = new char[len];
  
      // The length of the padding needed
      int pos = Math.max(len - base.length(), 0);
  
      // Copy the padding
      for (int i = 0; i < pos; i += pad.length()) {
        for (int j = 0; j < pad.length() && j < pos - i; j++) {
          data[i + j] = pad.charAt(j);
        }
      }
  
      // Copy the base
      for (int i = 0; pos + i < len && i < base.length(); i++) {
        data[pos + i] = base.charAt(i);
      }
  
      return new String(data);
    }