BEGIN {
	printf("%c\n", sprintf("%c", (0xffffff00+255)))
}