ARC_BUF_LAST
IMPLY(shared, ARC_BUF_COMPRESSED(buf) || ARC_BUF_LAST(buf));
(ARC_BUF_LAST(buf) || ARC_BUF_COMPRESSED(buf)));
IMPLY(lastbuf != NULL, ARC_BUF_LAST(lastbuf));
ASSERT(ARC_BUF_LAST(buf));