{
	"#000000", // 0
	"#c82829", // 1
	"#718c00", // 2
	"#eab700", // 3
	"#4271ae", // 4
	"#8959a8", // 5
	"#3e999f", // 6
	"#ffffff", // 7
	"#000000", // 8
	"#c82829", // 9
	"#718c00", // 10
	"#eab700", // 11
	"#4271ae", // 12
	"#8959a8", // 13
	"#3e999f", // 14
	"#ffffff", // 15
	[255] = 0,
//static unsigned int defaultbg = 7;
	"#4d4d4c", /* fg color */
//static unsigned int defaultfg = 256;
	"#4d4d4c" /* cs color */
//static unsigned int defaultcs = 257;
},