lecture: tetris: rotate