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

Question

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.

Answer 1

#!/bin/awk -f

BEGIN { FS = "\x01" }

/FIELD/ { print $1 }

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