while instruction ... done