code { XOR } ;
input { Stack_elt bytes 0x0C ; Stack_elt bytes 0x05 } ;
output { Stack_elt bytes 0x09 }