void main () {
	string foo = "\x10\x00\x00aa";
}