consセルは32bit環境で素直に作ると、car(4)/cdr(4)/識別子(1〜4)で、
少なくとも9〜12byteは必要でしょう。
8byteで済むっていうのは、ポインタに何か細工してるか、
識別子のテーブルを別に作ってるんでしょうね。