int_opt_names = numpy.array(
            numpy.array([c for c in [s.ljust(55) for s in keys]],