# The following is an example input file for the mix program
# First, write out the ASCII string...
S This is a character string
# Then, write out the hex characters
X dead beef
# Finally, write out an address
A 0x00007fffffffe910