Symbol: rfs4x_sequence_done