void main () { Regex foo = /\x10\x00\x00aa/s; }