Hi Nathan,
> > Make sense. Here is the corrected patch.>> I trimmed this down some more while trying to keep the coverage the same.
LGTM except for a slight issue with double semicolons attest_binaryheap.c:160. Here is the updated patch.