Modify reliable_state to include ackno and seqno variables