$buffer = (map chr, 0x12, 0x34, 0x56) . $buffer;