-record(success, {final_state :: any()}).