leftrotate