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