{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
// (e.g., `get`) call a `Machine` hook.
// `Memory` has to depend on the `Machine` because some of its operations
pub struct Memory<'tcx, M: Machine<'tcx>> {