Symbol: encode_cb_sequence4args