crash recovery: works if no ticks are missed