#13563: empty