y: WIP snapshot(+sym.minString)
y: WIP snapshot(+state.syms0)
y: WIP snapshot