Is there a test case where this error can be reproduced by printing immediately after program restart?