Symbol: decode_cb_sequence4res