Questions about runtime structure "store"

Hi, I'm a student from ZJU, and interested in the WASM.

I'm new to this area and currently working on a project which aims to
verify the correctness of WASM Virtual Machines, to it's important to
access the running state of a WASM program.

I've read the spec and find that there's a runtime structure named `store
<https://webassembly.github.io/spec/core/exec/runtime.html#store>`
which represents all global state that can be manipulated by WebAssembly
programs. It consists of the runtime representation of all instances of
functions, tables, memories, and globals, element segments, and data
segments that have been allocated during the life time of the abstract
machine.

But I found no relevant instructions that can access this structure. So
does that mean `store` is just a concept which is not implemented yet?

Best,
Rui Wang