r1_done cannot be randomly set