-record(succeeded, {seq :: integer()}).