Symbol: last_rcv_seq