fix alloc-different-objs