out_file.write(" { 0x%X,\t0x%X,\t0x%X,\t0x%X }, // %s\n" % (\r
num, bits, lower_case, upper_case, name))\r
out_file.write('};\n\n')\r
out_file.write(" { 0x%X,\t0x%X,\t0x%X,\t0x%X }, // %s\n" % (\r
num, bits, lower_case, upper_case, name))\r
out_file.write('};\n\n')\r