may have finished with the discarding part of rolled_seven()