#15623: skip.