openproc standard function allows you to create IO spaces
to access the memory of some running program, given its process ID.
The prototype is:
fun openproc = (uint<64> pid, uint<64> flags = 0) int<32>
where pid is the process ID whose memory we want to poke and flags is a set of open flags.