I'd like to know what those gdc and ldc transformations are, and whether they are controllable with a switch to their optimizers. I know there's a problem with WASM not faulting on a null dereference, but in another post I suggested a way to deal with it.