3bit すべて型情報 でGCが stop and copy か、
2bit 型情報で、1bitGCに割り当ててGCをmark-and-sweepにするか。