{
	"#282c34", // 0
	"#e06c75", // 1
	"#98c379", // 2
	"#e5c07b", // 3
	"#61afef", // 4
	"#c678dd", // 5
	"#56b6c2", // 6
	"#dcdfe4", // 7
	"#282c34", // 8
	"#e06c75", // 9
	"#98c379", // 10
	"#e5c07b", // 11
	"#61afef", // 12
	"#c678dd", // 13
	"#56b6c2", // 14
	"#dcdfe4", // 15
	[255] = 0,
//static unsigned int defaultbg = 8;
//static unsigned int defaultfg = 7;
	"#a3b3cc" /* cs color */
//static unsigned int defaultcs = 256;
},