> so surely this ensures proper provenance

```rust
static _sram3_start: u8;
```

You define a 1 byte static. From a pointer to that static, you are allowed to write at most one byte.