fun adjust(name: String, maxLen: Int): String { return ("%-" + maxLen + "s").format(name) }