- ok1(strstr(summary, "Free bucket 16:"));
- ok1(strstr(summary, "Free bucket 24:"));
- ok1(strstr(summary, "Free bucket 32:"));
- ok1(strstr(summary, "Free bucket 40:"));
- ok1(strstr(summary, "Free bucket 48:"));
- ok1(strstr(summary, "Free bucket 56:"));
- ok1(strstr(summary, "Free bucket 64:"));
- ok1(strstr(summary, "Free bucket 72:"));
- ok1(strstr(summary, "Free bucket 80:"));
- ok1(strstr(summary, "Free bucket 88-136:"));
- ok1(strstr(summary, "Free bucket 144-264:"));
- ok1(strstr(summary, "Free bucket 272-520:"));
- ok1(strstr(summary, "Free bucket 528-1032:"));