-record(state, {has_received_hello :: boolean(), sequence :: integer()}).