code { MAP {} ; CONCAT } ;
input { Stack_elt (list bytes) { 0x00ab ; 0xcd ; 0xef ; 0x00 } } ;
output { Stack_elt bytes 0x00abcdef00 }