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