assert on memory initializer region not being written to before it is applied