At the Machine Level...
Primitives for memory access
type Addr = Word32 peek ∈ Addr → H Word8 poke ∈ Addr → Word8 → H ()
Correspond to instructions directly supported by the CPU.
Allows any memory location to be overwritten.
With unrestricted use, no interesting run-time invariants can be guaranteed.