Slightly simplify ipvideo_decode_block_opcode_0xD