`while ... >`?