Strange dice code for class demo 6.042