void t20(int x, int y)
{
  while (x < y)
    x++;
  while (y < x)
    y++;
}