awk - how to specify field separator as binary value 0x1

Is it possible to specify the separator field FS in binary for awk?

I have data file with ascii data fields but separated by binary delimiter 0x1.

If it was character '1' it would look like this:

awk -F1 '/FIELD/ { print $1 }'

Or in script:

#!/bin/awk -f

BEGIN { FS = 开发者_运维问答"1" }

/FIELD/ { print $1 }

How can I specify FS/F to be 0x1.

---

#!/bin/awk -f

BEGIN { FS = "\x01" }

/FIELD/ { print $1 }

See http://www.gnu.org/manual/gawk/html_node/Escape-Sequences.html.

---

awk -F '\x01' '/FIELD/ { print $1 }'

---

works on mawk, gawk, or nawk :

 awk -F'\1' '{ … }'

awks can properly decipher the octal code without needing help from the shell like

 awk -F$'\1' '{ … }'