Similar to what we've done before to runtime, interpreter and C1, allocations should be owned and implemented by GC, and possible to override by specific collectors. For example, Shenandoah lays out objects differently in heap, and needs one extra store to initialize objects.