happen to find a potential bug in Alloc's equals method, but actually after fixing that there is no problem