code { PACK } ;
input { Stack_elt bytes 0x } ;
output { Stack_elt bytes 0x050a00000000 } ;