done: return object allocation; todo: apply the allocation diff to caller frame