1734b805cb3af82ddd7d3ba22a0e22aba29b78305njn#include <stdlib.h>
2734b805cb3af82ddd7d3ba22a0e22aba29b78305njn
3734b805cb3af82ddd7d3ba22a0e22aba29b78305njn// In this test, the size of the insignificant nodes is greater than the
4734b805cb3af82ddd7d3ba22a0e22aba29b78305njn// size of two of the significant nodes.  This is quite common in big
5734b805cb3af82ddd7d3ba22a0e22aba29b78305njn// programs, but not so common in small tests, so we test for it here.
6734b805cb3af82ddd7d3ba22a0e22aba29b78305njnint main(void)
7734b805cb3af82ddd7d3ba22a0e22aba29b78305njn{
8466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16000);  // all sizes are divisible by 16 -- no slop
9466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(240);
10466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(192);
11466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
12466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
13466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
14466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
15466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
16466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
17466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
18466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
19466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
20466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
21466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
22466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
23466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
24466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
25466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
26466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
27466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
28466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
29466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
30466ed6e1efeab3b32a30a9002622fb03c0686688njn   malloc(16);
31734b805cb3af82ddd7d3ba22a0e22aba29b78305njn
32734b805cb3af82ddd7d3ba22a0e22aba29b78305njn
33734b805cb3af82ddd7d3ba22a0e22aba29b78305njn   return 0;
34734b805cb3af82ddd7d3ba22a0e22aba29b78305njn}
35