redesign diff & store_fork do not apply the allocation table & remove initvalue in reloctable, because it can be replaced by new diff