My point still stands: is this UB or not?

    foo := charptr(0)
    x := *foo 

The "wasm" playground generates no compiler errors or warnings. In fact, the compiler seems happy to accept any number of dereferences as this

    foo := charptr(0)
    x := **********foo

compiles without error.