We now call get_redo_num() instead of reading f_recv (which was removed).